그래프 이론의 영역에서, 트리 트리는 질서의 건축적 표현입니다. 여러 경로가 동일한 목적지로 연결될 수 있는 혼란스러운 네트워크와 달리, 트리는 두 점 사이에 유일하고 고유한 길을 제공합니다. 이 구조적 제약은 한계가 아니라, 계층적 시스템—고대 그리스 신들의 조상 계보부터 현대 운영체제의 디렉터리 구조까지—의 근본적인 기반이 됩니다.
1. 트리의 해부학
계층이 존재하기 전에 우리는 자유 트리를 가집니다. 그 정의는 단순함 속에서 아름답습니다:
정의 9.1.1
어떤 두 정점 $v$와 $w$에 대해, 유일한 간단한 경로 가 존재하는 간단한 그래프입니다. 이는 그래프가 동시에 연결되어 있음 그리고 사이클이 없음 (사이클이 없음).
특정 정점을 '원점'으로 지정하면, 우리는 루트 트리를 만듭니다. 이 변환은 관계가 루트로부터의 거리와 방향에 의해 정의되는 공간적 방향성을 도입합니다.
계층적 용어집
루트 $v_0$를 가진 트리에서, 단순한 경로 $(v_0, v_1, \dots, v_n)$를 고려해 보세요:
- 부모: $v_{n-1}$ 정점은 $v_n$의 부모입니다.
- 자식: $v_n$는 $v_{n-1}$의 자식입니다.
- 형제자매: 동일한 부모를 공유하는 정점들.
- 조상: 루트에서 $v_n$까지의 경로 위의 모든 정점들 (일부 맥락에서는 $v_n$ 자신을 제외함).
- 후손: $v$를 조상으로 가지는 모든 정점들.
구조적 척도
- 레벨: 루트에서 정점까지의 유일한 경로의 길이입니다. 루트 자체는 레벨 0에 위치합니다.
- 높이: 트리 내에 존재하는 최대 레벨 번호입니다.
- 잎(종점 정점): 자식이 없는 정점—갈래의 끝.
- 내부(갈래) 정점: 하나 이상의 자식을 가진 정점.
🎯 핵심 개념: 서브트리
서브트리 는 특정 정점과 그 모든 후손으로 구성된 트리의 부분집합입니다. 파일 시스템에서는 폴더와 그 안에 포함된 모든 파일/하위 폴더를 의미합니다. 그림 9.2.1에서, is a subset of a tree consisting of a vertex and all its descendants. In a file system, this is a folder and every file/subfolder inside it. In Figure 9.2.1, the lineage of 크로노스 (제우스, 포세이돈, 하데스, 아레스)는 오르아누스에 위치합니다.
2. 실제 세계 적용
트리는 단순한 수학적 추상화가 아닙니다. 조직의 핵심입니다:
- 컴퓨터 파일 시스템: 'C:' 드라이브는 루트이며, 폴더는 내부 정점이고, 파일은 잎입니다.
- 관리 차트: CEO는 루트이며, 매니저들은 내부 노드이고, 개별 기여자는 잎입니다.
- 결정 프레임워크: 예를 들어 인스턴트 인시티 또는 n-큐브 평면성 트리처럼 생긴 상태 공간을 탐색하는 경우가 많습니다.